1. An introduction to combinators and )Lambda(-calculus
پدیدآورنده : Hindley, J. Roger
کتابخانه: (طهران)
موضوع : ، Combinatory logic,، Lambda calculus
رده :
QA
9
.
5
.
H56I5
2. Introduction to combinators and ]lambda[-calculus
پدیدآورنده : Hindley, J. Roger
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Combinatory logic,، Lambda calculus
رده :
QA
9
.
5
.
H56
1986
3. Lambda-calculus and combinators : an introduction
پدیدآورنده : Hindley, J. Roger
کتابخانه: (طهران)
موضوع : ، Lambda calculus,، Combinatory logic
رده :
QA
9
.
5
.
H56L3
4. Lambda-calculus and combinators, an introduction
پدیدآورنده : Hindley, J. Roger.
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Lambda calculus,، Combinatory logic
رده :
QA
9
.
5
.
H565
2008
5. Lambda-calculus, combinators, and functional programming
پدیدآورنده : Revesz, Gyorgy E.
کتابخانه: (طهران)
موضوع : ، Lambda calculus,، Combinatory logic,، Functional programming languages
رده :
QA
9
.
5
.
R48
1988
6. Lambda-calculus, combinators, and functional programming
پدیدآورنده : G.E. Revesz
موضوع : Lambda calculus,Combinatory logic,Functional programming languages
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
7. Proofs and types
پدیدآورنده : Girard, Jean-Yves
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Proof theory,، Type theory,، Lambda calculus,، Combinatory logic
رده :
QA
9
.
54
.
G572
1989
